The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Bernhard Steffen Books

Results for Bernhard Steffen

Showing 25 to 28 of 28 results
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... (Lecture Notes in Computer Science, 12479) Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... (Lecture Notes in Computer Science, 12479) by Tiziana Margaria,Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... (Lecture Notes in Computer Science, 12479)

by Tiziana Margaria,Bernhard Steffen


ISBN 13: 9783030837228

Format: Paperback (277 pages)
Publisher: Springer
Published: 05 Aug 2021

Save for later

 
New : $55.50  
New : $55.50
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday: 13030 (Lecture Notes in Computer Science, 13030) Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday: 13030 (Lecture Notes in Computer Science, 13030) by Ernst-Rüdiger Olderog,Bernhard Steffen,Wang Yi

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday: 13030 (Lecture Notes in Computer Science, 13030)

by Ernst-Rüdiger Olderog,Bernhard Steffen,Wang Yi


ISBN 13: 9783030913830

Format: Paperback (227 pages)
Publisher: Springer
Published: 22 Nov 2021

Save for later

 
New : $59.74  
New : $59.74
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications ... (Lecture Notes in Computer Science, 12477) Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications ... (Lecture Notes in Computer Science, 12477) by Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications ... (Lecture Notes in Computer Science, 12477)

by Tiziana Margaria, Bernhard Steffen


ISBN 13: 9783030614690

Format: Paperback (559 pages)
Publisher: Springer
Published: 27 Oct 2020

Save for later

 
New : $55.87  
New : $55.87
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... (Lecture Notes in Computer Science, 13036) Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... (Lecture Notes in Computer Science, 13036) by Tiziana Margaria,Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... (Lecture Notes in Computer Science, 13036)

by Tiziana Margaria,Bernhard Steffen


ISBN 13: 9783030891589

Format: Paperback (516 pages)
Publisher: Springer
Published: 12 Oct 2021

Save for later

 
New : $73.20  
New : $73.20